ReactiveML, un langage fonctionnel pour la programmation réactive

RÉSUMÉ. La programmation de systèmes réactifs tels que les simulateurs de systèmes dynamiques ou les jeux vidéo est une tâche difficile. Les techniques classiques pour programmer ces systèmes sont fondées sur l’utilisation de bibliothèques de threads ou de programmation événementielle. Nous introduisons ici le langage REACTIVEML comme une alternative à ces pratiques. Le langage est une extension de OCaml fondée sur le modèle réactif synchrone de Boussinot. Ce modèle reprend des principes du synchrone tels que la composition parallèle déterministe et la communication par diffusion. Il les combine à des mécanismes de création dynamique de processus. Cet article présente le langage, son système de type et sa sémantique.